<html>
<head><meta charset="utf-8"><title>meeting 2021.04.06 · t-compiler/wg-rustc-dev-guide · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/index.html">t-compiler/wg-rustc-dev-guide</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html">meeting 2021.04.06</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="233353510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233353510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233353510">(Apr 06 2021 at 16:53)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1380">@WG-rustc-dev-guide</span> meeting in 7 minutes!</p>



<a name="233353685"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233353685" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233353685">(Apr 06 2021 at 16:54)</a>:</h4>
<p>Agenda: <a href="https://hackmd.io/@camelid/BJ6NfG9Bd">https://hackmd.io/@camelid/BJ6NfG9Bd</a></p>



<a name="233353734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233353734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233353734">(Apr 06 2021 at 16:55)</a>:</h4>
<p>Add anything you want to discuss, or just bring it up during the meeting.</p>



<a name="233354568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233354568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233354568">(Apr 06 2021 at 17:01)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1380">@WG-rustc-dev-guide</span> meeting time!</p>



<a name="233354632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233354632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233354632">(Apr 06 2021 at 17:01)</a>:</h4>
<p>I accidentally double scheduled so I'll be distracted</p>



<a name="233354730"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233354730" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233354730">(Apr 06 2021 at 17:02)</a>:</h4>
<p>Hmm, is anyone else here? I see a few people online but maybe they're busy</p>



<a name="233354838"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233354838" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233354838">(Apr 06 2021 at 17:03)</a>:</h4>
<p>tbh I forgot there was a meeting <span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span></p>



<a name="233354860"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233354860" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233354860">(Apr 06 2021 at 17:03)</a>:</h4>
<p>Maybe everyone else forgot too? ;)</p>



<a name="233354930"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233354930" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233354930">(Apr 06 2021 at 17:03)</a>:</h4>
<p>Well maybe we can discuss these things async instead</p>



<a name="233355016"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233355016" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233355016">(Apr 06 2021 at 17:04)</a>:</h4>
<blockquote>
<p>What do you think would be a good MVP for -Z dump-internal-data? Maybe print the type of everything in the program?</p>
</blockquote>
<p>I think this should be -Z dump-metadata specifically</p>



<a name="233355042"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233355042" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233355042">(Apr 06 2021 at 17:04)</a>:</h4>
<p>other things are already covered by -Zunpretty IMO</p>



<a name="233355079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233355079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233355079">(Apr 06 2021 at 17:04)</a>:</h4>
<p>Does metadata include types of expressions inside function bodies?</p>



<a name="233355103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233355103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233355103">(Apr 06 2021 at 17:05)</a>:</h4>
<p>metadata is what's stored to disk</p>



<a name="233355172"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233355172" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233355172">(Apr 06 2021 at 17:05)</a>:</h4>
<p>Yeah, I meant does it include expression types</p>



<a name="233355174"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233355174" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233355174">(Apr 06 2021 at 17:05)</a>:</h4>
<p>it includes the incremental cache but also things that are stored even when using full builds, like MIR for generic functions</p>



<a name="233355188"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233355188" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233355188">(Apr 06 2021 at 17:05)</a>:</h4>
<p>oh no idea <span aria-label="laughing" class="emoji emoji-1f606" role="img" title="laughing">:laughing:</span></p>



<a name="233355238"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233355238" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233355238">(Apr 06 2021 at 17:05)</a>:</h4>
<p>Because types that are not exposed in the API are very important to understand typeck</p>



<a name="233355328"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233355328" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233355328">(Apr 06 2021 at 17:06)</a>:</h4>
<p>So I think <code>-Z dump-internals</code> (or whatever we call it) should show that if <code>-Z dump-metadata</code> does not</p>



<a name="233355641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233355641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233355641">(Apr 06 2021 at 17:08)</a>:</h4>
<p><span class="user-mention silent" data-user-id="307537">Camelid</span> <a href="#narrow/stream/196385-t-compiler.2Fwg-rustc-dev-guide/topic/meeting.202021.2E04.2E06/near/233355238">said</a>:</p>
<blockquote>
<p>Because types that are not exposed in the API are very important to understand typeck</p>
</blockquote>
<p>ok, then maybe there should be a <code>-Z debug-typeck</code> or something then</p>



<a name="233355654"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233355654" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233355654">(Apr 06 2021 at 17:08)</a>:</h4>
<p>I am unclear what else that flag would be used for</p>



<a name="233355701"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233355701" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233355701">(Apr 06 2021 at 17:08)</a>:</h4>
<p>how is that different from normal debug logs btw?</p>



<a name="233355702"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233355702" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233355702">(Apr 06 2021 at 17:08)</a>:</h4>
<p>Macro expansion stuff?</p>



<a name="233355717"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233355717" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233355717">(Apr 06 2021 at 17:09)</a>:</h4>
<p>Normal debug logs are very noisy</p>



<a name="233355745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233355745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233355745">(Apr 06 2021 at 17:09)</a>:</h4>
<p>This would just show more high-level stuff</p>



<a name="233355900"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233355900" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233355900">(Apr 06 2021 at 17:10)</a>:</h4>
<p>But probably worth saving this discussion for async discussion or the next meeting</p>



<a name="233393601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting%202021.04.06/near/233393601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/meeting.202021.2E04.2E06.html#233393601">(Apr 06 2021 at 21:25)</a>:</h4>
<p>sorry that I wasn't around today</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>